module

public import Mathlib.Analysis.Matrix.Normed

deprecated_module (since := "2025-11-03")
